341. RSP 2004: 15th IEEE International Workshop on Rapid Systems Prototyping: proceedings: 28-30 June, 2004, Geneva, Switzerland

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : Congresses ، System design,Congresses ، Computer simulation,Congresses ، Computer software - Development,Congresses ، Prototypes, Engineering

رده :
QA
76
.
9
.
S88
I583
2004

342. Reachability problems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.

رده :
QA76
.
76
.
V47

343. Recent Experimental and Computational Advances in Molecular Spectroscopy

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Molecular spectroscopy -- Congresses.,Molecular spectroscopy.

344. Recent Research in Control Engineering and Decision Making /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Automatic control, Congresses.,Decision making-- Data processing, Congresses.,Decision support systems, Congresses.,Automatic control.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Decision making-- Data processing.,Decision support systems.

رده :
T58
.
62

345. Recent trends in algebraic development techniques

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;

346. Recent trends in algebraic development techniques :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development ; Congresses. ;

347. Recent trends in algebraic development techniques

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها

رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,

348. Recent trends in algebraic development techniques :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development ; Congresses ; Computer science ; Mathematics ; Congresses ; Abstract data types (Computer science) ; Congresses ;

349. Recent trends in algebraic development techniques :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development ; Congresses. ;

350. Recent trends in algebraic development techniques

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses

رده :
QA76
.
76
.
D47
W33
2012

351. Recent trends in algebraic development techniques

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;

352. Recent trends in algebraic development techniques :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)

رده :
QA76
.
76
.
D47

353. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
L28
Vol
.
3423

354. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
L28
Vol
.
1827

355. Recent trends in algebraic development techniques : 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998: selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
L28
Vol
.
1589

356. Recent trends in algebraic development techniques : 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
L28
Vol
.
1376

357. Recent trends in algebraic development techniques : 15th international Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Abstract data types )Computer science(,Congresses ، Computer science -- Mathematics,Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
2267

358. Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
L28
Vol
.
2755

359. Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001: selected papers

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Congresses ، Computer software-- Development,Congresses ، Computer science-- Mathematics,Congresses ، Abstract data types )Computer science(

رده :
QA
76
.
76
.
D47
.
W33
2001

360. Regulations, policies and legal frameworks related to ICT :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer industry-- Standards-- Mekong River Region, Congresses.,Computer software industry-- Standards-- Mekong River Region, Congresses.,Information society-- Mekong River Region, Congresses.,Information technology-- Economic aspects-- Mekong River Region, Congresses.,ISO 9000 Series Standards, Congresses.,Telecommunication-- Economic aspects-- Mekong River Region, Congresses.,BUSINESS & ECONOMICS-- Corporate & Business History.,BUSINESS & ECONOMICS-- Infrastructure.,Computer industry-- Standards.,Information society.,Information technology-- Economic aspects.,ISO 9000 Series Standards.,Telecommunication-- Economic aspects.,Mekong River Region., 7

رده :
HD9696
.
2
.
M45
.
R44
2005eb